Georg Gottlob | |
---|---|
Born | 30 June 1956 Vienna, Austria |
Residence | Oxford, United Kingdom |
Nationality | Austrian and Italian |
Fields | Computer Science |
Institutions | University of Oxford |
Alma mater | Vienna University of Technology |
Doctoral advisor | Curt Christian |
Doctoral students | Wolfgang Nejdl, Gerhard Friedrich, Thom Fruehwirth, Thomas Eiter, Helmut Veith, Zoltan Miklos, Bruno Marnette and others |
Notable awards |
awarded
|
Georg Gottlob FRS is an Oxford-based Austrian computer scientist who works in the areas of database theory, logic, and artificial intelligence.
Gottlob obtained his PhD in computer science at Vienna University of Technology in 1981. He is currently a chaired professor of computing science at the Oxford University Computing Laboratory, where he helped establish the information systems research group. He is also a Fellow of St Anne's College, Oxford. Previously, he was a professor of computer science at Vienna University of Technology, where he still maintains an adjunct position. He was elected a member of the Royal Society in May, 2010.[2] He is a founding member of the Oxford-Man Institute.
He has published more than 250 scientific articles in the areas of computational logic, database theory, and artificial intelligence, and one textbook on logic programming and databases.[3]
In the area of artificial intelligence, he is best known for his influential early work on the complexity of nonmonotonic logics[4][5] and on hypertree decompositions,[6][7] a framework for obtaining tractable structural classes of constraint satisfaction problems, and a generalization of the notion of tree decomposition from graph theory. This work has also had substantial impact in database theory, since it is known that the problem of evaluating conjunctive queries on relational databases is equivalent to the constraint satisfaction problem.[8] His recent work on XML query languages (notably XPath) has helped create the complexity-theoretical foundations of this area.[9][10]